Product type

A composite data type that describes the type of a tuple. Similar to, and typically used in the form of a structure type where the fields are labeled. If a type is seen as the set of all values belonging to the type, the product type corresponds to the Cartesian product on sets.

[Wikipedia]